University of Wrocław

Results: 163



#Item
1

Extending Two-Variable Logic on Trees∗† Bartosz Bednarczyk1 , Witold Charatonik2 , and Emanuel Kieroński3 1 University of Wrocław, Wrocław, Poland

Add to Reading List

Source URL: drops.dagstuhl.de

Language: English - Date: 2017-08-14 08:48:29
    2

    Modal Logics Definable by Universal Three-Variable Formulas Emanuel Kieroński∗ , Jakub Michaliszyn∗ , and Jan Otop Institute of Computer Science University of Wrocław {kiero,jmi,jotop}@cs.uni.wroc.pl

    Add to Reading List

    Source URL: drops.dagstuhl.de

    Language: English - Date: 2011-12-01 09:29:51
      3

      A Faster FPTAS for #Knapsack Paweł Gawrychowski Institute of Computer Science, University of Wrocław, Poland Liran Markin1

      Add to Reading List

      Source URL: www.cs.haifa.ac.il

      Language: English - Date: 2018-04-29 12:08:57
        4

        Syntax and Semantics for Operations with Scopes Maciej Piróg Tom Schrijvers University of Wrocław

        Add to Reading List

        Source URL: www.ii.uni.wroc.pl

        Language: English - Date: 2018-06-06 10:28:20
          5

          Easyprove: a tool for teaching precise reasoning Marek Materzok1 1 Institute of Computer Science University of Wrocław, Poland

          Add to Reading List

          Source URL: www.tilk.eu

          Language: English - Date: 2015-06-09 11:04:28
            6

            Noun and verb in the mind. An interdisciplinary approach * Joanna Błaszczak and Dorota Klimek-Jankowska University of Wrocław Abstract In this paper we intend to provide a unified picture of the organization of knowled

            Add to Reading List

            Source URL: www.ifa.uni.wroc.pl

            - Date: 2015-01-29 03:58:59
              7

              2015 EVENTS CALENDAR WOJSŁAWICE ARBORETUM near Niemcza Branch of the Botanical Garden of Wrocław University 26th April (SundaySPRING WALK with guide

              Add to Reading List

              Source URL: arboretumwojslawice.pl

              - Date: 2015-05-06 02:20:30
                8Management education / Master of Business Administration / Education / Faculty of Economics and Business /  University of Zagreb / Khazar University

                THE INTERNATIONALIZATION STRATEGY FOR THE UNIVERSITY The internationalization strategy refers directly to its EU Mission in Wroclaw and to its Vision of Development:

                Add to Reading List

                Source URL: www.ue.wroc.pl

                Language: English - Date: 2013-05-09 15:05:50
                9

                Wydział Geoinżynierii, Górnictwa i Geologii Politechniki Wrocławskiej Faculty of Geoengineering, Mining and Geology Wrocław University of Technology Vol. I (2014)

                Add to Reading List

                Source URL: www.historia-gornictwa.pwr.wroc.pl

                Language: Polish - Date: 2015-02-26 09:45:00
                  10Wrocaw University of Science and Technology / Framework Programmes for Research and Technological Development / Master of Science / Science and technology / Education

                  HR STRATEGY FOR RESEARCHERS (HRS4R) The implementation of the principles of the European Charter for Researchers and the Code of Conduct for the Recruitment of Researchers at Wrocław University of Science and Technology

                  Add to Reading List

                  Source URL: www.portal.pwr.wroc.pl

                  Language: English - Date: 2016-05-16 08:26:41
                  UPDATE